TFP: Time-Sensitive, Flow-Specific Profiling at Runtime
نویسندگان
چکیده
Program profiling can help performance prediction and compiler optimization. This paper describes the initial work behind TFP, a new profiling strategy that can gather and verify a range of flow-specific information at runtime. While TFP can collect more refined information than block, edge or path profiling, it is only 5.75% slower than a very fast runtime path-profiling technique. Statistics collected using TFP over the SPEC2000 benchmarks reveal possibilities for further flow-specific runtime optimizations. We also show how TFP can improve the overall performance of a real application.
منابع مشابه
A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting
Prevailing profilers for Java, which rely on standard, native-code profiling interfaces, are not portable, give imprecise results due to serious measurement perturbation, and cause excessive overheads. In contrast, program transformations allow to generate reproducible profiles in a fully portable way with significantly less overhead. This paper presents a profiling framework that instruments J...
متن کاملOn the Impact of Naming Methods for Heap-Oriented Pointers in C Programs
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is critical for compilers to generate high performance code. However, most previous research on pointer analysis mostly focuses on pointers pointing to global or local variables. In this paper, we study points-to analysis o...
متن کاملEfficient and Precise Typestate Analysis by Determining Continuation-Equivalent States
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have proposed a hybrid approach that uses residual monitors to signal property violations at runtime. We present an efficient novel static typestate analysis that is flow-sensitive, partially context-sensitive, and that generate...
متن کاملMethods for Dynamic Identification of Program Control‐Flow Structures for FPGA‐based Systems
Continuous advances made in the field of embedded systems have lead to a time where a small chip has to be capable of high‐speed processing and saving as much energy as possible. A way of achieving these objectives is by extending microprocessors with reconfigurable hardware accelerators. However, to maintain portability and code legacy, the compilation for such architecture needs to be perform...
متن کاملInteractive Runtime Monitoring of Information Flow Policies
Computer systems are verified to check the correctness or validated to check the performance of the software system with respect to specific properties. Recently, the verification of security properties during run-time received increased attention from researchers. In particular security properties that relate to information that is made available by the end users of the software is achievable ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003